call launch.bat TOOLCHAIN=diab